Domain Representations Induced by Dyadic Subbases
نویسندگان
چکیده
منابع مشابه
Domain Representations Induced by Dyadic Subbases
We study domain representations induced by dyadic subbases and show that a proper dyadic subbase S of a second-countable regular space X induces an embedding of X in the set of minimal limit elements of a subdomain D of Tω . In particular, if X is compact, then X is a retract of the set of limit elements of D.
متن کاملDyadic Subbases and Representations of Topological Spaces
We explain topological properties of the embedding-based approach to computability on topological spaces [10–12]. With this approach, a special kind of embeddings of topological spaces into Plotkin’s Tω, which is the set of infinite sequences of T = {0, 1,⊥}, are considered. Such an embedding can also be characterized by a dyadic subbase, which is a countable subbase S = (S 0 , S 1 0 , S 0 1 , ...
متن کاملTopology Proceedings DYADIC SUBBASES AND EFFICIENCY PROPERTIES OF THE INDUCED {0, 1,⊥}ω-REPRESENTATIONS
A dyadic subbase induces a representation of a second-countable regular space as a subspace of the space of infinite sequences of {0, 1,⊥}, which is known as Plotkin’s . We study four properties of dyadic subbases – full-representing, canonically representing, independent, and minimal – which express efficiency properties of the induced representations.
متن کاملReducibility of Domain Representations and Cantor – Weihrauch Domain Representations by J . Blanck Report # CSR 15 - 2006
A notion of (continuous) reducibility of representations of topological spaces is introduced and basic properties of this notion are studied for domain representations. A representation reduces to another if its representing map factors through the other representation. Reductions form a pre-order on representations. A spectrum is a class of representations divided by the equivalence relation i...
متن کاملReducibility of domain representations and Cantor-Weihrauch domain representations
We introduce a notion of reducibility of representations of topological spaces and study some basic properties of this notion for domain representations. A representation reduces to another if its representing map factors through the other representation. Reductions form a pre-order on representations. A spectrum is a class of representations divided by the equivalence relation induced by reduc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2015
ISSN: 1860-5974
DOI: 10.2168/lmcs-11(1:17)2015